Predicate Classes and Promise Classes
نویسنده
چکیده
3 8 8 f ?g ? ? predicate classes promise classes Bernd Borchert Universität Heidelberg predicate classes promise function promise classes
منابع مشابه
Predicate Classes
Predicate classes are a new linguistic construct designed to complement normal classes in objectoriented languages. Like a normal class, a predicate class has a set of superclasses, methods, and instance variables. However, unlike a normal class, an object is automatically an instance of a predicate class whenever it satisfies a predicate expression associated with the predicate class. The pred...
متن کاملPredicate classes, promise classe, and the acceptance power of regular languages
It contributes some results to Structural Complexity Theory which is a subfield of Theoretical Computer Science. First of all I have to thank my advisor Prof. Klaus Ambos-Spies for his continuing guidance and support. He also gave several crucial hints for the results of this thesis.
متن کاملPredicate Dispatching: A Unified Theory of Dispatch
Predicate dispatching generalizes previous method dispatch mechanisms by permitting arbitrary predicates to control method applicability and by using logical implication between predicates as the overriding relationship. The method selected to handle a message send can depend not just on the classes of the arguments, as in ordinary object-oriented dispatch, but also on the classes of subcompone...
متن کاملPredicate Dispatching: a Uniied Theory of Dispatch
Predicate dispatching generalizes previous method dispatch mechanisms by permitting arbitrary predicates to control method applicability and by using logical implication between predicates as the overriding relationship. The method selected to handle a message send can depend not just on the classes of the arguments, as in ordinary object-oriented dispatch, but also on the classes of subcompone...
متن کاملA Type-Theoretic Basis for an Object-Oriented Refinement Calculus
This paper addresses the issue of giving a formal semantics to an object-oriented programming and specification language. Object-oriented constructs considered are objects with attributes and methods, encapsulation of attributes, subtyping, bounded type parameters, classes, and inheritance. Classes are distinguished from object types. Besides usual imperative statements, specification statement...
متن کامل